Solving hard trig equations using compound angle identities